1. Constraint Databases
Author: edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.
Classification :
QA76
.
9
.
C67
E358
2000
2. Database theory--ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005 : proceedings
Author: Thomas Eiter, Leonid Libkin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Database management
Classification :
QA
76
.
L28
Vol
.
3363
3. Database theory: ICDT 2005: 10th international conference, Edinburgh, UK, January 5-7, 2005: proceedings
Author: Thomas Eiter, Leonid Libkin ]eds.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Database management
Classification :
QA
76
.
9
.
D3
I557
2005
4. Elements of Finite Model Theory
Author: libkin ,leonid
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Model Theory
Classification :
EBOOK
,
QA
L53
9
.
7
5. Elements of finite model theory
Author: Libkin, Leonid.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Model theory
Classification :
QA
9
.
7
.
L53
2004
6. Elements of finite model theory
Author: by Leonid Libkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Model theory.
Classification :
QA9
.
7
B954
2011
7. Foundations of data exchange /
Author: Marcelo Arenas (Pontificia Universidad Católica de Chile), Pablo Barceló (Universidad de Chile), Leonid Libkin (University of Edinburgh), Filip Murlak (Uniwersytet Warszawski, Poland).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data transmission systems.,Datenaustausch.,Datenmanagement.,Relationales Datenbanksystem.,XML.
8. In Search of Elegance in the Theory and Practice of Computation
Author: / Chiew Tan, Michael Fourman-Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
9. Logic, Language, Information, and Computation
Author: / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
10. Logic, language, information, and computation :
Author: Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
W67
2013
11. Relational and XML Data Exchange
Author: / Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Filip Murlak, M. Tamer Ozsu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
12. Semantics in databases
Author: Bernhard Thalheim, Leonid Libkin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Database management,، Database design
Classification :
QA
76
.
L28
Vol
.
1358
